Automatic mercury vacuum pump

Vacuum Gauge to Vacuum Pump Valve

Automatic Parallelism in Mercury

Our project is concerned with the automatic parallelization of Mercury programs. Mercury is a purely-declarative logic programming language, this makes it easy to determine whether a set of computations may be performed in parallel with one-anther. However, the problem of how to determine which computations should be executed in parallel in order to make the program perform optimally is unsolve...

Automatic parallelisation for Mercury

Multicore computing is ubiquitous, so programmers need to write parallel programs to take advantage of the full power of modern computer systems. However the most popular parallel programming methods are difficult and extremely error-prone. Most such errors are intermittent, which means they may be unnoticed until after a product has been shipped; they are also often very difficult to fix. This...

Automatic kelvin probe compatible with ultrahigh vacuum

This article describes a new type of in situ ultrahigh-vacuum compatible kelvin probe based on a voice-coil driving mechanism. This design exhibits several advantages over conventional mechanical feed-through and (in situ) piezoelectric devices in regard to the possibility of multiple probe geometry, flexibility of probe geometry, amplitude of oscillation, and pure paranel vibration. Automatic ...

Emergency power source for an ion vacuum pump.

This note describes a simple high-voltage dc generator which serves as an emergency power source for an ion vacuum pump during power interruptions, or failure of the main supply.